Towards a Model Theory for Transseries
نویسندگان
چکیده
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field, and report on our efforts to understand its first-order theory.
منابع مشابه
Transseries for Beginners
From the simplest point of view, transseries concern manipulations on formal series, or a new kind of expansion for real-valued functions. But transseries constitute much more than that—they have a very rich (algebraic, combinatorial, analytic) structure. The set of transseries— also known as the transline—is a large ordered field, extending the real number field, and endowed with additional op...
متن کاملToward a Model Theory for Transseries
The differential field of transseries extends the field of real Laurent series, and occurs in various contexts: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field, and report on our efforts to understand its elementary theory.
متن کاملFractional Iteration of Series and Transseries
We investigate compositional iteration of fractional order for transseries. For any large positive transseries T of exponentiality 0, there is a family T [s] indexed by real numbers s corresponding to iteration of order s. It is based on Abel’s Equation. We also investigate the question of whether there is a family T [s] all sharing a single support set. A subset of the transseries of exponenti...
متن کاملPower and Exponential-power Series Solutions of Evolution Equations
1.1. Brief overview. The theory of partial differential equations when one, or more variables, is in the complex domain, and approaches a characteristic variety has only recently started to develop. In their paper [11], generalized in [12], O. Costin and S. Tanveer proved existence and uniqueness of solutions with given initial conditions, for quasilinear systems of evolution equations in a lar...
متن کاملTransseries: Composition, Recursion, and Convergence
Additional remarks and questions for transseries. In particular: properties of composition for transseries; the recursive nature of the construction of R x ; modes of convergence for transseries. There are, at this stage, questions and missing proofs in the development.
متن کامل